1. Advances in Database Technology - EDBT '94 :
Author: edited by Matthias Jarke, Janis Bubenko, Keith Jeffery.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Data structures (Computer science),Programming languages (Electronic computers)
Classification :
QA76
.
9
.
D3
E358
1994
2. Automata, languages and programming :
Author: edited by G. Ausiello and C. Böhm.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal languages -- Congresses.,Machine theory -- Congresses.,Programming languages (Electronic computers)
3. CONCUR'91 :
Author: J.C.M. Baeten, J.F. Groote (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Parallel processing (Electronic computers),Parallel processing (Electronic computers) -- Congresses.,Parallélisme (Informatique) -- Congrès.
4. Current trends in concurrency :
Author: edited by J.W. de Bakker, W.-P. de Roever, and G. Rozenberg.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Parallel processing (Electronic computers),Parallel processing (Electronic computers) -- Congresses.,Parallélisme (Informatique) -- Congrès.
5. Fairness
Author: Nissim Francez
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer programming,، Programming languages )Electronic computers( -- Semantics,، Parallel processing )Electronic computers(
Classification :
QA
76
.
6
.
F72
1986
6. Fairness
Author: Francez, Nissim.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Programming,، Programming languages )Electronic computers(-- Semantics,، Parallel processing )Electronic computers(
Classification :
QA
76
.
6
.
F7226
1986
7. Fairness
Author: / Nissim Francez
Library: Library of College of Science University of Tehran (Tehran)
Subject: Electronic digital computers -- Programming,Programming languages (Electronic computers) -- Semantics,Parallel processing (Electronic computers)
Classification :
QA
76
.
6
.
F7226
1986
8. Formal Methods and Software Development :
Author: edited by Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Programming languages (Electronic computers),Software engineering.
9. It's all about coordination :
Author: Frank de Boer, Marcello Bonsangue, Jan Rutten (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer multitasking.,Electronic data processing-- Distributed processing.,Formal methods (Computer science),Parallel processing (Electronic computers),Artificial intelligence.,Computer modelling & simulation.,Computer multitasking.,Computer programming-- software development.,Computers-- Computer Simulation.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Electronic data processing-- Distributed processing.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Parallel processing (Electronic computers),Programming & scripting languages: general.,Software Engineering.
Classification :
QA76
.
58
.
I87
2018eb
10. Languages for paralle architecturres
Author: / edited by j. w . de bakker
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Parallel Processing (Computer Science),Programming languages ( Electronic computers) --Semantics,Computer architecture
Classification :
QA
76
.
6
.
L3353
1989
11. Mathematical Foundations of Computer Science 1986 :
Author: edited by Jozef Gruska, Branislav Rovan, Juraj Wiedermann.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer software.,Logic design.
Classification :
QA267
.
E358
1986
12. Mathematical models for the semantics of parallelism : Advanced School, Rome, Italy, September 24-October 1,1986: Proceedings
Author: Marisa Venturini Zilli )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Formal languages -- Semantics,Congresses ، Parallel programming )Computer science(,Congresses ، Parallel processing )Electronic computers(
Classification :
QA
76
.
L28
Vol
.
280
13. Programming languages :
Author: André Rauber Du Bois, Phil Trinder (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Programming languages (Electronic computers), Congresses
Classification :
QA76
.
7
.
B73
2013
14. Programming languages and systems :
Author: Amal Ahmed (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming, Congresses.,Programming languages (Electronic computers), Congresses.,Computer programming.,Computer science.,Computers / Programming.,Programming languages (Electronic computers)
Classification :
QA76
.
6
15. Semantics for concurrency
Author:
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Parallel programming (Computer science ► Programming languages (Electronic computers)- Semantics
Classification :
S471
16. Semantics for concurrency : proceedings of the International BCS-FACS Workshop
Author: / sponsored by Logic for IT (S.E.R.C.), 23-25 July 1990, University of Leicester, UK
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Parallel programming (Computer science) - Congresses,Programming languages (Electronic computers) - Semantics - Congresses
Classification :
QA76
.
642
.
I56
1990
17. Semantics of concurrent computation :
Author: edited by Gilles Kahn.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Parallel processing (Electronic computers) -- Congresses.,Programming languages (Electronic computers) -- Semantics -- Congresses.,Traitement simultané (Ordinateurs) -- Congrès.
Classification :
QA76
.
6
E358
1979
18. Semantics of concurrent computation : proceedings of the international symposium, Evian, France, July 2-4, 1979
Author: International Symposium on Semantics of Concurrent Computation, )9791, Evian-les-Bains, France(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Parallel processing )Electronic computers(-- Congresses,، Programming languages )Electronic computers(-- Semantics-- Congresses
Classification :
QA
76
.
6
.
I577
1979
19. Semantics of systems of concurrent processes : LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, proceedings
Author: Ecole de printemps dinformatique theorique, )0991, La Roche-Posay, France(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Parallel processing )Electronic computers(,، Programming languages )Electronic computers(-- Semantics
Classification :
QA
76
.
58
.
E26
1990
20. Semantics of systems of concurrent processes : LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, Proceedings
Author: I. Guessarian )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Parallel processing )Electronic computers(,، Programming languages )Electronic computers( -- Semantics
Classification :
QA
76
.
L28
Vol
.
469
